1. An Attribute grammar for the semantic analysis of ADA
پدیدآورنده : J. Uhl [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Ada (Computer program language),Ada (Langage de programmation),Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
J845
1982
2. An Attribute grammar for the semantic analysis of ADA
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Ada )Computer program language(,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
73
.
A35
.
A87
1982
3. C℗ compiler concepts
پدیدآورنده : B. Teufel, S. Schmidt, T. Teufel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Compilers (Computer programs),Programming languages (Electronic computers)
4. Constraint Solving and Language Processing
پدیدآورنده : edited by Denys Duchier, Yannick Parmentier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
5. Language, logic, and computation :
پدیدآورنده : Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
9
.
L63
6. Logic, language, and computation :
پدیدآورنده : Nick Bezhanishvili [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
7. Programmiersprachen und Programmentwicklung :
پدیدآورنده : herausgegeben von Hans Wössner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Computer programming.,Programming languages (Electronic computers) -- Congresses.
رده :
QA76
.
7
H473
1982
8. Programming language pragmatics /
پدیدآورنده : Michael L. Scott.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Programming languages (Electronic computers),Programlama dilleri (Eloktronik bilgisayarlar)
رده :
QA76
.
7
.
S38
2009
9. Query optimization by semantic veasoning
پدیدآورنده : / by Jonathan J. King
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Data base management,Information storage and retreval systems,Programming languages (Electronic computers) semantics
رده :
QA76
.
9
.
D3K55
1984
10. Representation and meaning; experiments with information processing systems
پدیدآورنده : Simon, Herbert Alexander
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Artificial intelligence,، Programming languages )Electronic computers(,، Language data processing
رده :
Q
335
.
S5
11. Semantics of data types :
پدیدآورنده : edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
12. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
13. The sementary of programming languages
پدیدآورنده : / Mattew Hennessy,Hennessy
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Programming language (Electronic Computers),Semantic
رده :
QA
76
.
7
.
H4
1990
14. Using Toolpack Software Tools :
پدیدآورنده : edited by A.A. Pollicini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
95
E358
1989
